perm filename AIMDOC[1,ALS] blob sn#549282 filedate 1980-12-11 generic text, type T, neo UTF8
REDUCE 
MLISP 
FIXPNT 
HADAM 
LAKOFF 
FAIL 
LEIBNZ 
LCFMAN 
AUTISM 
MARGIE 
SAIL 
MLISP2 
SAIL 
PRUNE 
SAIL 
VISREV 
AIM248 
AIMDOC 
FOLPRM